current_prolog_flag(argv,L),nth1(2,L,FILE), [FILE].
['framework/derive.pl'].
['framework/printmessages.pl'].

findall(A,knows(A,_),LSTA), list_to_set(LSTA,SETA), assert(actorl(SETA)).

actorl(SETA),forall(member(A,SETA),(derall(A,SETM),
                                    forall(member(M,SETM),(print('der('),printt(A),print(','),printt(M),print(').\n'))))).
